2341. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده : S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429
2342. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
2343. Logic and discrete mathematics :
پدیدآورنده : Willem Conradie, Valentin Goranko.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.
2344. Logic and discrete mathematics: A computer science perspective
پدیدآورنده : Winfried Karl Grassmann, Jean - Paul Tremblay
موضوع : Computer science - Mathematics
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
2345. Logic and discrete mathematics : a computer science perspective
پدیدآورنده : Grassmann, Winfried K.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science - Mathematics
رده :
QA
76
.
9
.
M35
G725
1996
2346. Logic and discrete mathematics: a computer science perspective
پدیدآورنده : Grassmann, Winfried K.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics ، Computer science
رده :
QA
76
.
9
.
M35
G725
1996
2347. Logic and its applications :
پدیدآورنده : Md. Aquil Khan, Amaldev Manuel (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
I24
2019eb
2348. Logic and its applications :
پدیدآورنده : Kamal Lodaya (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
رده :
QA9
.
A1
K363
2013
2349. Logic and philosophy of science in Uppsala :
پدیدآورنده : edited by Dag Prawitz, Dag Westerståhl.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic -- Congresses.,Science -- Methodology -- Congresses.,Science -- Philosophy -- Congresses.
رده :
Q174
.
E358
1994
2350. Logic & discrete mathematics, a computer science perspective
پدیدآورنده : Grassmann, Winfried Karl
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Computer science - mathematics
رده :
QA
76
.
9
.
M35
G7
2351. Logic for applications
پدیدآورنده : Nerode, Anil
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
N47
1997
2352. Logic for applications
پدیدآورنده : Nerode, Anil
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science-- Mathematics,، Logic, Symboloc and mathematical
رده :
QA
76
.
9
.
M35
.
N47
1997
2353. Logic for applications
پدیدآورنده : / Anil Nerode, Richard A. Shore
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science-mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
,
N47
1997
2354. Logic for applications /
پدیدآورنده : Anil Nerode, Richard A. Shore
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
N47
1997
2355. Logic for computer scientists /
پدیدآورنده : Uwe Schöning.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming.,Logic, Symbolic and mathematical.,logique.,programmation en logique.,Logique symbolique et mathématique.,Programmation logique.,31.80 applications of mathematics.,Datenverarbeitung,Informatik,Logic programming.,Logic programming.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Logique symbolique et mathématique.,Logische Programmierung,Programmation logique.
رده :
QA9
.
S363
1989
2356. Logic for mathematics and computer science
پدیدآورنده : Stanley N. Burris
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Logic, Symbolic and mathematical
رده :
QA
،
9
،.
B86
،
1998
2357. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
2358. Logic programming, knowledge representation, and nonmonotonic reasoning :
پدیدآورنده : Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gelfond, Michael,Logic programming,Nonmonotonic reasoning
2359. Logic with prolog
پدیدآورنده : Peter Gibbins
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Prolog (Computer program language),Logic programming
رده :
QA
،
76
.
73
،.
P76
,
G53
،
1988
